associativity of substitutions

替代結合性